| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | J8LNKAN8RW/34BEP7K |
| Repositório | dpi.inpe.br/plutao@80/2008/12.04.11.55.29 (acesso restrito) |
| Última Atualização | 2015:04.16.18.59.33 (UTC) administrator |
| Repositório de Metadados | dpi.inpe.br/plutao@80/2008/12.04.11.55.30 |
| Última Atualização dos Metadados | 2021:02.06.21.47.41 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| ISBN | 9780769533 |
| Rótulo | lattes: 9922863822347014 2 SantiagoJúniorVijGuiAmaSou:2008:EnTeCa |
| Chave de Citação | SantiagoJúniorVijGuiAmaSou:2008:EnTeCa |
| Título | An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models  |
| Formato | DVD |
| Ano | 2008 |
| Data de Acesso | 05 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 288 KiB |
| 2. Contextualização | |
| Autor | 1 Santiago Júnior, Valdivino Alexandre 2 Vijaykumar, Nandamudi Lankalapalli 3 Guimarães, Danielle Souza 4 Amaral, Ana Silvia Martins Serra 5 Souza, Érica Ferreira de |
| Grupo | 1 DAS-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR 3 4 LAC-CTE-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 valdivino@das.inpe.br 2 vijay@lac.inpe.br 3 danielle.guimaraes@cea.inpe.br 4 anasil@lac.inpe.br 5 ericaferrso@cea.inpe.br |
| Endereço de e-Mail | vijay@lac.inpe.br |
| Nome do Evento | Workshop on Advances in Model Based Testing, 4. (A-MOST). |
| Localização do Evento | Lillihammer |
| Data | 2008 |
| Editora (Publisher) | IEEE Computer Society |
| Volume | 1 |
| Páginas | 1-10 |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| Histórico (UTC) | 2008-12-04 16:11:47 :: lattes -> simone :: 2008-12-08 11:56:03 :: simone -> administrator :: 2010-05-12 02:51:41 :: administrator -> simone :: 2010-07-07 18:38:50 :: simone -> administrator :: 2021-02-06 21:47:41 :: administrator -> marciana :: 2008 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Resumo | Automated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test sequences to be obtained from both Statechart-based and FSM-based behavioral models. The environment supports test case generation from some test methods for FSM, such as switch cover, DS and UIO methods, and also from some test criteria for Statecharts based on the SCCF family. Two case studies involving embedded software developed for two computers of scientific experiments of a satellite under development at National Institute for Space Research (INPE) are presented in order to show the usefulness of the environment. |
| Área | COMP |
| Arranjo 1 | urlib.net > Produção anterior à 2021 > LABAC > An Environment for... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > An Environment for... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | santiago_environment.pdf |
| Grupo de Usuários | lattes simone administrator marciana |
| Grupo de Leitores | administrator marciana |
| Visibilidade | shown |
| Permissão de Leitura | deny from all and allow from 150.163 |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |